If one regards an ordinal number as a generalization of a counting number, then it is natural to begin thinking in terms of computations on sets of ordinal numbers. This is precisely what Takeuti [22] had in mind when he initiated the study of recursive functions on ordinals. Kreisel and Sacks [9] too developed an ordinal recursion theory, called metarecursion theory, which specialized to the initial segment of the ordinals bounded by.The notion of admissibility was introduced by Kripke [11] and (...) Platek [14] and served to generalize metarecursion theory. Kripke called ordinal α admissible if it satisfied certain closure properties of infinitary computations. It was shown that admissibility could be equivalently formulated in terms of the replacement schema of ZF set theory and that α =is an admissible ordinal. The study of a recursion theory on an initial segment of the ordinals bounded by some arbitrary admissible α became known as α-recursion theory.Kripke [10] employed a Gödel numbering scheme to perform an arithmetiza-tion of α -recursion theory and created an analogue to Kleene'sT-predicate of ordinary recursion theory. TheT-predicate then served as the basis for showing that analogues of the major results of unrelativized o.r.t. held in α-recursion theory; namely, the α-Enumeration Theorem,T Theorem, α-Recursion Theorem, and α-Universal Function Theorem. (shrink)

When Jesus meets the Samaritan Woman at Jacob’s well in John 4, it is a meeting between two colonial subjects in the Roman Empire. In this encounter we find the Samaritan Woman as a triply marginalised body, a woman subject to multiple, intersecting forms of oppression within her patriarchal context. Identified as a Samaritan Woman, Jewish rabbis regarded her as unclean, impure, and being menstruous from birth. It can also be deduced that she is an outcast in her own society (...) because she comes to draw from the well at noon, the hottest part of the day when people did not usually fetch water. This Samaritan Woman is nameless, landless and powerless in an imperial, colonial and patriarchal context. The poem of Diana Ferrus, I’ve come to take you home, in memory of Sarah Baartman, highlights how Baartman was dehumanised and treated as a sexual object by European colonisers. Through a postcolonial reading of John 4, I consider the intersections between the Samaritan Woman and the early life of Sara Baartman in their respective colonial contexts and invite the reader, as the poem invites Baartman, to come home to Africa and resist Western European imperial and colonial patterns and tendencies.Contribution: This article has interdisciplinary implications. This is an interdisciplinary study in the sense that it offers a biblical interpretation of John 4 that is informed by the life of Sara Baartman that has been uncovered through anthropology, history and sociology. It is also integrating the field of postcolonial biblical hermeneutics with the theory of intersectionality. (shrink)

This research illustrates dangers inherent in the gap created when organizations decouple ethics program adoption from implementation. Using a sample of 182 professionals in the pharmaceutical and financial services industries, we examine the relationship between structural decoupling of formal ethics programs and individual-level perceptions and behavior. Findings strongly support the hypothesized relationships between decoupling and organizational members’ legitimacy perceptions of the ethics program, psychological contract breach, organizational cynicism, and unethical behavior.

This project investigates critical issues and events related to Trek Therapeutics experience as a public benefit corporation. We will present and discuss how Trek differentiates itself in an industry where the attention is on high prices supporting high investor returns. Trek’s benefit corporation status helped it garner favorable attention in some respects, but has also presented challenges, particularly when it comes to attracting new capital.

Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as ontology-based (...) multi-database querying, automated ontology alignment and ontology-based text-mining. These theses are illustrated by means of a case study of the Gene Ontology, a project of increasing importance within the field of biomedical data integration. (shrink)

Psychological contracts represent perceived reciprocal obligations between an employer and an employee. Most research has focused on employee or employer rights (the entitlement side of the obligation equation). We examine the responsibilities inherent in psychological contracts. After reviewing the moral aspect of psychological contracts, we use the issue of tenure as a discussion point for this topic.

To enhance the treatment of relations in biomedical ontologies we advance a methodology for providing consistent and unambiguous formal definitions of the relational expressions used in such ontologies in a way designed to assist developers and users in avoiding errors in coding and annotation. The resulting Relation Ontology can promote interoperability of ontologies and support new types of automated reasoning about the spatial and temporal dimensions of biological and medical phenomena.

Background: Ontologies and taxonomies are among the most important computational resources for molecular biology and bioinformatics. A series of recent papers has shown that the Gene Ontology (GO), the most prominent taxonomic resource in these fields, is marked by flaws of certain characteristic types, which flow from a failure to address basic ontological principles. As yet, no methods have been proposed which would allow ontology curators to pinpoint flawed terms or definitions in ontologies in a systematic way. Results: We present (...) computational methods that automatically identify terms and definitions which are defined in a circular or unintelligible way. We further demonstrate the potential of these methods by applying them to isolate a subset of 6001 problematic GO terms. By automatically aligning GO with other ontologies and taxonomies we were able to propose alternative synonyms and definitions for some of these problematic terms. This allows us to demonstrate that these other resources do not contain definitions superior to those supplied by GO. Conclusion: Our methods provide reliable indications of the quality of terms and definitions in ontologies and taxonomies. Further, they are well suited to assist ontology curators in drawing their attention to those terms that are ill-defined. We have further shown the limitations of ontology mapping and alignment in assisting ontology curators in rectifying problems, thus pointing to the need for manual curation. (shrink)

Introducing the sixth and final installment of the Common Knowledge symposium “Apology for Quietism,” Allen looks at the symposium retrospectively and concludes that it has mainly concerned “sage knowledge,” defined as foresight into the development of situations. The sagacious knower sees the disposition of things in an early, incipient form and knows how to intervene with nearly effortless and undetectable (quiet) effectiveness. Whatever the circumstance, the sage handles it with finesse, never doing too much but also never leaving anything undone (...) that must be accomplished. Quiet, when it is knowingly and effectively quiet (not pusillanimous or poor in spirit), is about what not to do, how not to approach a problem, what not to decide, what is not known, what will not work. Allen explains these principles in terms of traditional Chinese thought, Daoist and Confucian: wei we wei, or “doing-not-doing,” means effective inaction. What makes such wisdom possible is not mystical insight, he argues, but discipline in a certain kind of art. The sage has no need of reasons (let alone doctrines), only effectiveness; and he does not need truth or justice, only subtlety. The detachment of a quietist has little, if anything, to do with transcending perspectives. Detachment is good as a means to flexibility, and instead of transcending perspectives, a sage is skilled in the quiet art of never getting stuck in one. To be effectively quiet is not so much to be silent as to be inaudible, invisible; the sage “vanishes into things.”. (shrink)

Some of the most invidious injustices are seemingly the results of impersonal workings of rigged social structures. Who bears responsibility for the injustices perpetrated through them? Iris Marion...

Meditation is an umbrella term for a number of mental training practices designed to improve the monitoring and regulation of attention and emotion. Some forms of meditation are now being used for clinical intervention. To accompany the increased clinical interest in meditation, research investigating the neural basis of these practices is needed. A central hypothesis of contemplative neuroscience is that meditative states, which are unique on a phenomenological level, differ on a neurophysiological level. To identify the electrophysiological correlates of meditation (...) practice, the electrical brain activity of highly skilled meditators engaging in one of six meditation styles was recorded. A mind-wandering task served as a control. Lempel–Ziv complexity showed differences in nonlinear brain dynamics during meditation compared with mind wandering, suggesting that meditation, regardless of practice, affects neural complexity. In contrast, there were no differences in power spectra at six different frequency bands, likely due to the fact that participants engaged in different meditation practices. Finally, exploratory analyses suggest neurological differences among meditation practices. These findings highlight the importance of studying the electroencephalography correlates of different meditative practices. (shrink)

Help your students discover the ethical issues and implications surrounding today's most compelling social dilemmas--from genetic engineering and cloning to terrorism and the use of torture--with APPLYING ETHICS: A TEXT WITH READINGS, 11th Edition. Framed by the authors' helpful introductions and supported by a variety of readings and cases that reflect both sides of the topics being explored, this best-selling book offers a balanced introduction to ethics today. Important Notice: Media content referenced within the product description or the product text (...) may not be available in the ebook version. (shrink)

Ontology is one strategy for promoting interoperability of heterogeneous data through consistent tagging. An ontology is a controlled structured vocabulary consisting of general terms (such as “cell” or “image” or “tissue” or “microscope”) that form the basis for such tagging. These terms are designed to represent the types of entities in the domain of reality that the ontology has been devised to capture; the terms are provided with logical defi nitions thereby also supporting reasoning over the tagged data. Aim: This (...) paper provides a survey of the biomedical imaging ontologies that have been developed thus far. It outlines the challenges, particularly faced by ontologies in the fields of histopathological imaging and image analysis, and suggests a strategy for addressing these challenges in the example domain of quantitative histopathology imaging. The ultimate goal is to support the multiscale understanding of disease that comes from using interoperable ontologies to integrate imaging data with clinical and genomics data. (shrink)

Human clinical research has become a huge economic enterprise (Morin et al. 2002; Noah 2002). Because the human subject at the center can be so easily marginalized, many commentators recommend spec...

Attentional control has grown in importance within theoretical and predictive models of psychopathology over past decades. The Attentional Style Questionnaire is a novel measure of internal a...

More and more people would like to migrate, but find that every state places barriers in their way. At the same time, most governments not only permit but court foreign investment. Can this difference between the treatment of people and the treatment of money be justified? This book asks this question from the point of view of five different ethical perspectives: liberal egalitarianism, libertarianism, Marxism, natural law and political realism. -- FROM BOOK JACKET.

Gender‐affirming care is almost exclusively discussed in connection with transgender medicine. However, this article argues that such care predominates among cisgender patients, people whose gender identity matches their sex assigned at birth. To advance this argument, we trace historical shifts in transgender medicine since the 1950s to identify central components of “gender‐affirming care” that distinguish it from previous therapeutic models, such as “sex reassignment.” Next, we sketch two historical cases—reconstructive mammoplasty and testicular implants—to show how cisgender patients offered justifications grounded (...) in authenticity and gender affirmation that closely mirror rationales supporting gender‐affirming care for transgender people. The comparison exposes significant disparities in contemporary health policy regarding care for cis and trans patients. We consider two possible objections to the analogy we draw, but ultimately argue that these disparities are rooted in “trans exceptionalism” that produces demonstrable harm.. (shrink)